منابع مشابه
Checking UML Model Consistency
UML is nowadays a de-facto standard for design and development of (object-oriented) software. With version 2.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specification language which is an integral part of UML that allows to embed software contracts in the model. In this work we propose an approach for a static verification of consistency of UML models which r...
متن کاملModel Checking Dynamic UML Consistency
UML is widely accepted and extensively used in software modeling. However, using different diagrams to model different aspects of a system brings the risk of inconsistency among diagrams. In this paper, we investigate an approach to check the consistency between the sequence diagrams and statechart diagrams using the SPIN model checker. To deal with the hierarchy structure of statechart diagram...
متن کاملChecking the Consistency of UML
This article presents a formal semantics for UML based on algebraic abstract types. Currently we only consider class diagrams and object diagrams. These diagrams include class structure, association, car-dinality expression, constraint, instance as well as specialization relationship. We give a formal semantics for each of these elements by interpreting the structure of a class as an abstract d...
متن کاملA Tool Based on DL for UML Model Consistency Checking
Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in...
متن کاملB-based Consistency Checking of UML Diagrams
The translation from UML specifications to B gives a way to analyse rigorously UML specifications via their corresponding B formal specifications, thanks to B support tools. This paper presents a B-based consistency model for UML specifications composed of class, object and realisation diagrams for UML operations. The consistency model consists of proof obligations for the B specification deriv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Technological and Economic Development of Economy
سال: 2011
ISSN: 2029-4913,2029-4921
DOI: 10.3846/13928619.2011.554029